Menu
Jadual_kebenaran
| P | Q | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| T | T | F | F | F | F | F | F | F | F | T | T | T | T | T | T | T | T | ||
| T | F | F | F | F | F | T | T | T | T | F | F | F | F | T | T | T | T | ||
| F | T | F | F | T | T | F | F | T | T | F | F | T | T | F | F | T | T | ||
| F | F | F | T | F | T | F | T | F | T | F | T | F | T | F | T | F | T |
dimana T = benar and F = salah.
Kunci:
| Nama operasi | ||||
|---|---|---|---|---|
| 0 | Opq | xand | salah | Kontradiksi |
| 1 | Xpq | NOR | ↓ | Logik NOR |
| 2 | Mpq | Xq | Nonimplikasi berlawanan | |
| 3 | Fpq | Np | ¬p | Penafian |
| 4 | Lpq | Xp | ↛ | Nonimplikasi |
| 5 | Gpq | Nq | ¬q | Penafian |
| 6 | Jpq | XOR | ⊕ | Disjungsi eksklusif |
| 7 | Dpq | NAND | ↑ | Logik NAND |
| 8 | Kpq | AND | ∧ | Konjungsi |
| 9 | Epq | XNOR | Jika dan hanya jika | Bikondisional |
| 10 | Hpq | q | Fungsi projeks | |
| 11 | Cpq | XNp | jika/maka | Implikasi |
| 12 | Ipq | p | Fungsi projeks | |
| 13 | Bpq | XNq | maka/jika | Implikasi berlawanan |
| 14 | Apq | OR | ∨ | Disjungsi inklusif |
| 15 | Vpq | xnand | true | Tautologi |
Logical operators can also be visualized using Venn diagrams.
Menu
Jadual_kebenaranBerkaitan
Rujukan
WikiPedia: Jadual_kebenaran